TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

A Formal Semantics for Protocol Narrations
Zitatschlüssel DBLP:conf/tgc/BriaisN05
Autor Sébastien Briais and Uwe Nestmann
Buchtitel TGC
Seiten 163-181
Jahr 2005
Link zur Originalpublikation Download Bibtex Eintrag

Zurück

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe